Complétude, pt. 1